L.E.J. Brouwer: Toward Intuitionistic Logic
نویسندگان
چکیده
منابع مشابه
Heyting-Brouwer Rough Set Logic
A rough set logic based on Heyting-Brouwer algebras HBRSL is proposed as a basis for reasoning about rough information. It is an extension of Düntsch’s logic with intuitionistic implication, and is seen as a variant of HeytingBrouwer logic. A Kripke semantics and natural deduction for the logic are presented and the completeness theorem is proved.
متن کاملThe Logic of Brouwer and Heyting
Intuitionistic logic consists of the principles of reasoning which were used informally by L. E. J. Brouwer, formalized by A. Heyting (also partially by V. Glivenko), interpreted by A. Kolmogorov, and studied by G. Gentzen and K. Gödel during the first third of the twentieth century. Formally, intuitionistic first-order predicate logic is a proper subsystem of classical logic, obtained by repla...
متن کاملIntuitionistic Logic
There are basically two ways to view intuitionistic logic: (i) as a philosoph ical–foundational issue in mathematics, (ii) as a technical discipline within mathematical logic. Let us deal with the philosophical aspects first, they will provide the motivation for the subject. In doing so, we will follow L.E.J. Brouwer, the founding father of intuitionism. Brouwer did contribute little to intuiti...
متن کاملPoincaré and Brouwer on Intuition and Logic
In the beginning of the twentieth century the Dutchmathematician Luitzen Egbertus Jan Brouwer published his first papers on intuition and logic. There is no indication that Henri Poincaré was aware of these publications, but it would have been interesting to know what he had have to say about them. In this article Dirk van Dalen, Emeritus Professor Logic and Philosophy of Mathematics, compares ...
متن کاملAN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Historia Mathematica
سال: 1995
ISSN: 0315-0860
DOI: 10.1006/hmat.1995.1026